bitkeeper revision 1.160.1.5 (3e9404ce1HhGFT4b1H7fFkuDOnvOGw)

Merge

diff --cc BitKeeper/etc/logging_ok
index b6e8d009bf44607d80ac7e63a3f3546723a27773,b6e8d009bf44607d80ac7e63a3f3546723a27773..2b628cfdce384ee226f3011b21c1c5c200cbecfc
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -5,6 -5,6 +5,7 @@@ akw27@plucky.localdomai
  bd240@boulderdash.cl.cam.ac.uk
  bd240@labyrinth.cl.cam.ac.uk
  iap10@labyrinth.cl.cam.ac.uk
++jws22@gauntlet.cl.cam.ac.uk
  jws@cairnwell.research
  kaf24@labyrinth.cl.cam.ac.uk
  kaf24@plym.cl.cam.ac.uk